1. .....................
پدیدآورنده : IFIP TC-2 Working Conference on Programming Teaching Techniques, Zakopane, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming - Study and teaching-Congresses ، Electronic digital computers
رده :
QA
76
.
6
.
I18
1972
2. ......................
پدیدآورنده : Edited by A. Gunther, B. Levrat and H. Lipps
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Electronic data processing,congresses ، Electronic digital computers - Programming
رده :
QA
76
.
I567
1973
3. .....................
پدیدآورنده : ACM Symposium on Theory of Computing,6 th, Seattle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Progamming - Congresses ، Electronic digital computers,Congresses ، Computational complexity
رده :
QA
76
.
6
.
A13
1974
4. ACM SIGMETRICS 2002 : International Conference on Measurement and Modeling of Computer Systems : June 15-19, 2002, Marina Del Rey, California : proceedings
پدیدآورنده : Sponsored by ACM SIGMETRICS
کتابخانه: (طهران)
موضوع : Evaluation ، Electronic digital computers,Congresses ، Digital computer simulation
رده :
QA
76
.
5
.
I52
2002
5. ACM SIGMETRICS 2003: international conference on measurement and modeling of computer systems, June 10-14, 2003, San Diego, California, USA : proceedings
پدیدآورنده : sponsored by ACM SIGMETRICS
کتابخانه: (طهران)
موضوع : Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
5
.
I52
2003
6. ALGOL 68 implementation: proceedings of the IFIP working conference on ALGOL 68 Implementation= Munich, July 20-24, 1970
پدیدآورنده : / Edited by J. E. L. Peck
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : ALGOL (Computer program language) - Congresses,Electronic digital computers - Programming - Congresses
رده :
001
.
6424
I11
1970
7. ALGOL 68 implementation; proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، ALGOL )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
I28
1970
8. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
9. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
10. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
11. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
12. Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
پدیدآورنده : editors: A. Edalat, S. Jourdan, G. Mccusker
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses
رده :
QA
76
.
6
.
A48
1996
13. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده : F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
14. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
پدیدآورنده : edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
244
15. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
16. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
17. Automatic differentiation: techniques and applicatins
پدیدآورنده : Rall, Louis B
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Congresses
رده :
QA
76
.
5
.
R315
18. Benchmarking : computer evaluation and measurement
پدیدآورنده :
موضوع : ، Electronic digital Computers-- Evaluation-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. COMCONEL 91: International Conference on Communication, Control, Computers, Energy, and Electronics, Marriott Hotel, Cairo, Egypt, Dec. 19-21, 1991
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Electronic digital computers - Congresses , Telecommunication - Congresses , Electronic control - Congresses
رده :
TK
7885
.
A1
I572
1991
20. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
